42

Towards automated reasoning in Herbrand structures

Year:
2019
Language:
english
File:
PDF, 1.21 MB
english, 2019